Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[ProVerif] Renaming / AST transformation pseudophase #728

Draft
wants to merge 5 commits into
base: main
Choose a base branch
from

Conversation

jschneider-bensch
Copy link
Collaborator

This PR introduces a pseudo-phase in the ProVerif backend that uses a visitor to perform renamings and last minute AST transformations like simplifying a Result<T,E> into a T.

@franziskuskiefer franziskuskiefer added the waiting-on-author Status: This is awaiting some action from the author. label Jun 21, 2024
@W95Psp W95Psp force-pushed the refactor-concrete-ident-generated branch from 2d680cb to e49233f Compare June 24, 2024 08:36
@W95Psp W95Psp force-pushed the refactor-concrete-ident-generated branch 2 times, most recently from cc4d0cb to d7cdcc8 Compare July 1, 2024 11:31
Base automatically changed from refactor-concrete-ident-generated to main July 1, 2024 12:03
Copy link

This PR has been marked as stale due to a lack of activity for 60 days. If you believe this pull request is still relevant, please provide an update or comment to keep it open. Otherwise, it will be closed in 7 days.

@github-actions github-actions bot added the stale label Aug 31, 2024
@github-actions github-actions bot removed the stale label Sep 3, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
waiting-on-author Status: This is awaiting some action from the author.
Projects
No open projects
Status: No status
Development

Successfully merging this pull request may close these issues.

2 participants